Proof, language, and interaction - essays in honour of Robin Milner
- Författare
- Mads Tofte Colin Stirling Gordon Plotkin
- (Edited by Gordon Plotkin, Colin Stirling and Mads Tofte.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| MIT | cop. 2000 | USA, Cambridge, Mass | xiv, 700 sidor. ill. 23 cm |